Typed lambda calculi and applications - 4th International Conference, TLCA '99, L'Aquila, Italy, April 7 - 9, 1999
- Författare
- Jean-Yves Girard International Conference on Typed Lambda Calculi and Applications 1999) L'Aquila :
- (Jean-Yves Girard, (ed.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1999 | Tyskland, Berlin | 396 sidor. |